Dekkers, Wil: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (48)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic

Dekkers, Wil, Bunder, Martin, Barendregt, Henk

Журнал:

Journal of Symbolic Logic

Рік:

1998

Мова:

english

Файл:

PDF, 1.09 MB

english, 1998

Pure Type Systems with More Liberal Rules

Martin Bunder and Wil Dekkers

Журнал:

Journal of Symbolic Logic

Рік:

2001

Мова:

english

Файл:

PDF, 425 KB

english, 2001

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus

Wil Dekkers, Martin Bunder, Henk Barendregt

Журнал:

Archive for Mathematical Logic

Рік:

1998

Мова:

english

Файл:

PDF, 193 KB

english, 1998

Reducibility of types in typed lambda calculus: Comment on a paper by Richard Statman

Wil Dekkers

Журнал:

Information and Computation

Рік:

1988

Мова:

english

Файл:

PDF, 218 KB

english, 1988

Physiotherapy management of low back pain: Does practice match the Dutch guidelines?

Ilse C.S. Swinkels, Cornelia H.M. van den Ende, Wil van den Bosch, Joost Dekker, Raymond H. Wimmers

Журнал:

Australian Journal of Physiotherapy

Рік:

2005

Мова:

english

Файл:

PDF, 80 KB

english, 2005

Lambda Calculus with Types || Intersection Types λS∩

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 90 KB

english, 2013

Lambda Calculus with Types || Basic Properties of Intersection Type Assignment

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 333 KB

english, 2013

WBC-reduced platelet concentrates from pooled buffy coats in additive solution: an evaluation of in vitro and in vivo measures

Pieter F. Van Der Meer, Ruby N.I. Pietersz, Margriet J. Tiekstra, Peter C. Huijgens, Wil J.A. Dekker, Henk W. Reesink

Журнал:

Transfusion (Wiley)

Рік:

2001

Мова:

english

Файл:

PDF, 105 KB

english, 2001

Living Well with End Stage Renal Disease: Patients' Narratives Interpreted from a Virtue Perspective

Wim Dekkers, Inez Uerz, Jean-Pierre Wils

Журнал:

Ethical Theory and Moral Practice

Рік:

2005

Мова:

english

Файл:

PDF, 861 KB

english, 2005

Bodily integrity and male and female circumcision

Wim Dekkers, Cor Hoffer, Jean-Pierre Wils

Журнал:

Medicine, Health Care and Philosophy

Рік:

2005

Мова:

english

Файл:

PDF, 216 KB

english, 2005

Direct terrestrial–marine correlation demonstrates surprisingly late onset of the last interglacial in central Europe

Mark J. Sier, Wil Roebroeks, Corrie C. Bakels, Mark J. Dekkers, Enrico Brühl, Dimitri De Loecker, Sabine Gaudzinski-Windheuser, Norbert Hesse, Adam Jagich, Lutz Kindler, Wim J. Kuijper, Thomas Laurat,

Журнал:

Quaternary Research

Рік:

2011

Мова:

english

Файл:

PDF, 1.90 MB

english, 2011

What factors explain the number of physical therapy treatment sessions in patients referred with low back pain; a multilevel analysis

Ilse CS Swinkels, Raymond H Wimmers, Peter P Groenewegen, Wil JH van den Bosch, Joost Dekker, Cornelia HM van den Ende

Журнал:

BMC Health Services Research

Рік:

2005

Мова:

english

Файл:

PDF, 268 KB

english, 2005

Comparing patient characteristics and treatment processes in patients receiving physical therapy in the United States, Israel and the Netherlands: Cross sectional analyses of data from three clinical databases

Ilse CS Swinkels, Dennis L Hart, Daniel Deutscher, Wil JH van den Bosch, Joost Dekker, Dinny H de Bakker, Cornelia HM Van den Ende

Журнал:

BMC Health Services Research

Рік:

2008

Мова:

english

Файл:

PDF, 283 KB

english, 2008

The Accurate Control of Ultrafiltration

J. Guus Flendrig, Wim M. Carpay, Wil T. Dekkers

Журнал:

Artificial Organs

Рік:

1978

Мова:

english

Файл:

PDF, 347 KB

english, 1978

Multifinger photoplethysmography and digital blood pressure measurement in patients with Raynaud's phenomenon of the hand

Tordoir, John H.M., Haeck, Luc B., Winterkamp, Harry, Dekkers, Wil

Журнал:

Journal of Vascular Surgery

Рік:

1986

Мова:

english

Файл:

PDF, 436 KB

english, 1986

Living Well with End Stage Renal Disease: Patients' Narratives Interpreted from a Virtue Perspective

Wim Dekkers, Inez Uerz and Jean-Pierre Wils

Журнал:

Ethical Theory and Moral Practice

Рік:

2005

Мова:

english

Файл:

PDF, 2.48 MB

english, 2005

Is de "Missa in G" Van Willem De Fesch? Een reactie op Robert R. Tuslers 'A Misplaced Attribution. Willem de Fesch and the "Missa in G'"

Wil Dekker, Dick van Heuvel and Hilary Staples

Журнал:

Tijdschrift van de Koninklijke Vereniging voor Nederlandse Muziekgeschiedenis

Рік:

2006

Файл:

PDF, 1.40 MB

2006

Phosphorus-31 NMR and mass spectrometry of atropinesterase and some serine proteases phosphorylated with a transition-state analog

Van der Drift, A. C. M., Beck, H. C., Dekker, W. H., Hulst, A. G., Wils, E. R. J.

Журнал:

Biochemistry

Рік:

1985

Мова:

english

Файл:

PDF, 1.28 MB

english, 1985

Evidence for the Blake Event recorded at the Eemian archaeological site of Caours, France

Sier, Mark J., Parés, Josep M., Antoine, Pierre, Locht, Jean-Luc, Dekkers, Mark J., Limondin-Lozouet, Nicole, Roebroeks, Wil

Журнал:

Quaternary International

Рік:

2015

Мова:

english

Файл:

PDF, 1.13 MB

english, 2015

The Blake Event recorded near the Eemian type locality – A diachronic onset of the Eemian in Europe

Sier, Mark J., Peeters, Jan, Dekkers, Mark J., Parés, Josep M., Chang, Liao, Busschers, Freek S., Cohen, Kim M., Wallinga, Jakob, Bunnik, Frans P.M., Roebroeks, Wil

Журнал:

Quaternary Geochronology

Рік:

2015

Мова:

english

Файл:

PDF, 4.27 MB

english, 2015

Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus

Henk Barendregt, Martin Bunder and Wil Dekkers

Журнал:

Journal of Symbolic Logic

Рік:

1993

Мова:

english

Файл:

PDF, 1001 KB

english, 1993

Acetate versus Bicarbonate Hemodialysis in Critically Ill Patients

Leunissen, Karel M.L., Hoorntje, Steven J., Fiers, Harry A., Dekkers, Wil T., Mulder, Alfred W.

Журнал:

Nephron

Рік:

1986

Файл:

PDF, 1.15 MB

1986

Detection of amino acid substitutions in the GyrA protein of fluoroquinolone-resistant typhoidal Salmonella isolates using high-resolution mass spectrometry

Hassing, Robert-Jan, Goessens, Wil H., Zeneyedpour, Lona, Sultan, Sadaf, van Kampen, Jeroen J., Verbon, Annelies, van Genderen, Perry J., Hays, John P., Luider, Theo M., Dekker, Lennard J.

Журнал:

International Journal of Antimicrobial Agents

Рік:

2016

Мова:

english

Файл:

PDF, 543 KB

english, 2016

Evaluation of different pretreatment protocols to detect accurately clinical carbapenemase-producing Enterobacteriaceae by MALDI-TOF

Monteferrante, Carmine G., Sultan, Sadaf, ten Kate, Marian T., Dekker, Lennard J. M., Sparbier, Katrin, Peer, Markus, Kostzrewa, Markus, Luider, Theo M., Goessens, Wil H. F., Burgers, Peter C.

Журнал:

Journal of Antimicrobial Chemotherapy

Рік:

2016

Мова:

english

Файл:

PDF, 587 KB

english, 2016

Ein Karfreitagsrätselkanon aus Adam Gumpelzhaimers „Compendium musicae“ (1632)

Wil Dekker

Журнал:

Die Musikforschung

Рік:

1974

Файл:

PDF, 1.28 MB

1974

Lambda Calculus with Types || Our Founders

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 243 KB

english, 2013

Lambda Calculus with Types || Definability, unification and matching

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 598 KB

english, 2013

Lambda Calculus with Types || Tools

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 954 KB

english, 2013

Lambda Calculus with Types || Preface

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 67 KB

english, 2013

Lambda Calculus with Types || Extensions

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 822 KB

english, 2013

Lambda Calculus with Types || Applications

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 581 KB

english, 2013

Lambda Calculus with Types || Properties

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 503 KB

english, 2013

Lambda Calculus with Types || The Simply Typed Lambda Calculus

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 568 KB

english, 2013

Lambda Calculus with Types || Simple Types λA→

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 257 KB

english, 2013

Lambda Calculus with Types || An Example System

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 256 KB

english, 2013

Lambda Calculus with Types || The Systems λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 785 KB

english, 2013

Lambda Calculus with Types || References

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 275 KB

english, 2013

Lambda Calculus with Types || Recursive Types λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 137 KB

english, 2013

Lambda Calculus with Types || Advanced Properties and Applications

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 722 KB

english, 2013

Lambda Calculus with Types || Type Assignment Systems

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 392 KB

english, 2013

Lambda Calculus with Types || Models

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 495 KB

english, 2013

Lambda Calculus with Types || Properties of Recursive Types

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 519 KB

english, 2013

Lambda Calculus with Types || Indices

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 41 KB

english, 2013

Lambda Calculus with Types || Properties of Terms with Types λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 401 KB

english, 2013

Lambda Calculus with Types || Filter Models

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 574 KB

english, 2013

Lambda Calculus with Types || Type and Lambda Structures

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 515 KB

english, 2013

Lambda Calculus with Types || Applications

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Рік:

2013

Мова:

english

Файл:

PDF, 361 KB

english, 2013

Accurate Detection of the Four Most Prevalent Carbapenemases in E. coli and K. pneumoniae by High-Resolution Mass Spectrometry

Foudraine, Dimard E., Dekker, Lennard J. M., Strepis, Nikolaos, Bexkens, Michiel L., Klaassen, Corné H. W., Luider, Theo M., Goessens, Wil H. F.

Журнал:

Frontiers in Microbiology

Рік:

2019

Файл:

PDF, 1.10 MB

2019